Michael Pointer - PDFSEARCH.IO - Document Search Engine

Michael Pointer
Results: 48

#	Item
21	The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:08 Program logic Procedural programming languages Data types Primitive types Type theory Pointer Hoare logic Linked list C Software engineering Computing Computer programming
22	Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach BRICS, University of Aarhus {elgaard,amoeller,mis}@brics.dk Abstract. We exhibit a technique for automatica Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-17 06:24:39 Data types C programming language C++ Primitive types Procedural programming languages First-order logic Struct Pointer Hoare logic Software engineering Computing Computer programming
23	Graph Types Nils Klarlundy & Michael I. Schwartzbachz fklarlund,[removed] Aarhus University, Department of Computer Science, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:46 Data types Primitive types Graph theory Binary trees C++ Recursive data type Tree Pointer Reference Computing Software engineering Computer programming
24	Tolerating Hardware Device Failures in Software Asim Kadav, Matthew J. Renzelmann and Michael M. Swift Computer Sciences Department, University of Wisconsin-Madison {kadav,mjr,swift}@cs.wisc.edu Abstract Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-08-10 10:40:14 Software bugs Device drivers Computer errors Screens of death Device driver Fault injection Pointer Ioctl Data corruption Computing System software Software
25	JavaGrande { High Performance Computing with Java Michael Philippsen, Ronald F. Boisvert, Valdimir S. Getov, Roldan Pozo, Jose Moreira, Dennis Gannon, and Georey C. Fox Abstract. The JavaGrande Forum is a group of use Add to Reading List Source URL: www.javagrande.org Language: English - Date: 2000-12-04 17:27:35 Cross-platform software Java programming language Java platform Procedural programming languages Computing platforms Java Fortran Pointer C++ Computing Software engineering Computer programming
26	Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors ∗ Michael D. Bond Nicholas Nethercote Add to Reading List Source URL: www.valgrind.org Language: English - Date: 2007-08-28 18:44:20 Data types Primitive types Cross-platform software Procedural programming languages Memory management Valgrind Pointer Undefined value Jikes RVM Computing Software engineering Computer programming
27	The Keccak Code Package Guido Bertoni1 Joan Daemen1 Michaël Peeters2 Gilles Van Assche1 Ronny Van Keer1 1 STMicroelectronics Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-08-22 14:25:54 NIST hash function competition Cross-platform software Search algorithms Stream ciphers X86-64 Pointer Joan Daemen Hash function LEX Computer architecture Computing Keccak
28	Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-04-21 13:06:12 C++ C programming language Data types Type theory Procedural programming languages Cyclone Pointer Type safety Struct Computing Software engineering Computer programming
29	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 14, A Simple Mechanism for Type Security Across Compilation Units MICHAEL L. SCOTT Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-23 16:50:23 Data types Hashing Search algorithms Error detection and correction Hash function Pointer Cryptographic hash function C Array data type Computing Software engineering Computer programming
30	Support for Machine and Language Heterogeneity in a Distributed Shared State System ∗ Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, and Michael L. Scott Technical Report #783 Computer Science Department, University o Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2002-08-01 16:39:18 Data types Procedural programming languages Memory management Pointer Relocation Remote procedure call Object file Handle Transmission Control Protocol Computing Software engineering Computer programming

UPDATE